Nine-valued logic